github: update workflow actions
authorPaul Donald <[email protected]>
Sun, 12 Oct 2025 16:31:10 +0000 (18:31 +0200)
committerPaul Donald <[email protected]>
Sun, 12 Oct 2025 16:31:10 +0000 (18:31 +0200)
commit4617b9fd2ee20ba49471029c2f2061c827dc4700
tree976faddde6d9a4aa4d74354b6d37a96bcc30fa3c
parentdc0bdc9ff74e77b33f65c4f84a1cd9db77575f1e
github: update workflow actions

checkout to v5
setup-node to v5
peaceiris/actions-gh-pages to v4

Signed-off-by: Paul Donald <[email protected]>
.github/workflows/build.yml
.github/workflows/codeql.yml
.github/workflows/eslint.yml
.github/workflows/formal.yml
.github/workflows/jsdoc.yml